1121. Technologies for Constructing Intelligent Systems 2
پدیدآورنده : edited by Bernadette Bouchon-Meunier, Julio Gutiérrez-Ríos, Luis Magdalena, Ronald R. Yager.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.
1122. Technologies for Constructing Intelligent Systems 1
پدیدآورنده : edited by Bernadette Bouchon-Meunier, Julio Gutiérrez-Ríos, Luis Magdalena, Ronald R. Yager.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.
1123. Technology of Object-Oriented Languages, Systems and Architectures
پدیدآورنده : edited by Theo D'Hondt.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Computer-aided design.,Software engineering.
1124. Term Indexing
پدیدآورنده : Peter Graf
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Automatic theorem proving.,Expert systems (Computer science)
رده :
QA76
.
9
.
A96
P484
1996
1125. Term indexing
پدیدآورنده : Graf, Peter, 6691-
کتابخانه: (طهران)
موضوع : ، Automatic theorem proving,، Expert systems )Computer science(,، Artificial intelligence,، Indexing
رده :
QA
76
.
L28
Vol
.
1053
1126. Tetrobot
پدیدآورنده : by Gregory J. Hamlin, Arthur C. Sanderson.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer engineering.,Computer science.,Mechanical engineering.
1127. Text, Speech and Dialogue
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Natural language processing (Computer science) -- Congresses,Artificial intelligence,Computational linguistics,پردازش زبان طبیعی -- کنگرهها,هوش مصنوعی,زبانشناسی رایانهای
رده :
E-Book
,
1128. Text, Speech, and Dialogue : 19th International Conference, TSD 2016, Brno , Czech Republic, September 12-16, 2016, Proceedings
پدیدآورنده : edited by Petr Sojka, Ales Horak, Ivan Kopecek, Karel Pala
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Artificial intelligence,، Computer science,، Data mining
رده :
QA
76
.
9
.
N38T47
2018
1129. Text understanding in LILOG : integrating computational linguistics and artificial intelligence : final report on the IBM Germany LILOG-project
پدیدآورنده : O. Herzog, C.-R. Rollinger )eds.(
کتابخانه: (طهران)
موضوع : ، Computational linguistics,، Projekt LILOG,، Natural language processing )Computer science(,، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
546
1130. The Agent Modeling Language - AML
پدیدآورنده : by Radovan Cervenka, Ivan Trencansky.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Computer simulation.
1131. The Art of Lisp Programming
پدیدآورنده : by Robin Jones, Clive Maynard, Ian Stewart.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.
رده :
QA76
.
73
.
L23
B976
1990
1132. The Design of Interpreters, Compilers, and Editors for Augmented Transition Networks
پدیدآورنده : edited by Leonard Bloc.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Applied linguistics.,Artificial intelligence.,Computer science.
رده :
P98
.
E358
1983
1133. <The> Fifth Conference on Artificial Intelligence Applications: Omni Computer Society
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Artificial intelligence - Congresses,، Expert systems )Computer science( - Congresses,، Reasoning - Congresses,، Knowledge, Theory of - Congresses,، Robotics - Congresses
رده :
Q
334
.
C66
1989
1134. The Formal Complexity of Natural Language
پدیدآورنده : edited by Walter J. Savitch, Emmon Bach, William Marsh, Gila Safran-Naveh.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.
1135. The Locales Framework :
پدیدآورنده : by Geraldine Fitzpatrick.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Software engineering.
1136. The Next Generation of Information Systems:
پدیدآورنده : edited by Michael P. Papazoglou, John Zeleznikow.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Database management.
1137. The PACE system :
پدیدآورنده : Steven Evans.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence -- Medical applications -- Research -- Case studies.,Expert systems (Computer science) -- Research -- Case studies.,Nursing -- Data processing -- Research -- Case studies.
رده :
RT50
.
5
S748
1997
1138. The Parametric Lambda Calculus :
پدیدآورنده : by Simona Ronchi Della Rocca, Luca Paolini.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic design.
رده :
QA9
.
5
B975
2004